completely formalized

См. также в других словарях:

• First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

• Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] …   Wikipedia

• Urysohn's lemma — In topology, Urysohn s lemma, sometimes called the first non trivial fact of point set topology , is commonly used to construct continuous functions of various properties on normal spaces. It is widely applicable since all metric spaces and all… …   Wikipedia

• Hilbert's basis theorem — In mathematics, Hilbert s basis theorem states that every ideal in the ring of multivariate polynomials over a field is finitely generated. This can be translated into algebraic geometry as follows: every algebraic set over a field can be… …   Wikipedia

• Hahn–Banach theorem — In mathematics, the Hahn–Banach theorem is a central tool in functional analysis. It allows the extension of bounded linear operators defined on a subspace of some vector space to the whole space, and it also shows that there are enough… …   Wikipedia

• Euler's theorem — In number theory, Euler s theorem (also known as the Fermat Euler theorem or Euler s totient theorem) states that if n is a positive integer and a is coprime to n , then:a^{varphi (n)} equiv 1 pmod{n}where φ( n ) is Euler s totient function and …   Wikipedia

• König's lemma — or König s infinity lemma is a theorem in graph theory due to Dénes Kőnig (1936). It gives a sufficient condition for an infinite graph to have an infinitely long path. The computability aspects of this theorem have been thoroughly investigated… …   Wikipedia

• Human rights in the Palestinian National Authority — This article outlines the human rights record of the Palestinian Authority leadership in the West Bank and Gaza. It also outlines some Human Rights conditions experienced in the Palestinian Territories, apart from those associated with Israeli… …   Wikipedia

• china — /chuy neuh/, n. 1. a translucent ceramic material, biscuit fired at a high temperature, its glaze fired at a low temperature. 2. any porcelain ware. 3. plates, cups, saucers, etc., collectively. 4. figurines made of porcelain or ceramic material …   Universalium

• China — /chuy neuh/, n. 1. People s Republic of, a country in E Asia. 1,221,591,778; 3,691,502 sq. mi. (9,560,990 sq. km). Cap.: Beijing. 2. Republic of. Also called Nationalist China. a republic consisting mainly of the island of Taiwan off the SE coast …   Universalium

• arts, East Asian — Introduction       music and visual and performing arts of China, Korea, and Japan. The literatures of these countries are covered in the articles Chinese literature, Korean literature, and Japanese literature.       Some studies of East Asia… …   Universalium